1. 7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings
پدیدآورنده : edited by R.E. Shostak
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L4
v
.
170
2. 7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings
پدیدآورنده : edited by R.E. Shostak
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
170
